Restore manual change about absence of shell functions from 20070503,
authorGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:38:54 +0000 (07:38 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:38:54 +0000 (07:38 +0000)
commitfb8ed8ba327031441608f5b06d70a991e56c9d33
tree6121e2ee5d0306cfaf45f6450f9c76f6d3529f89
parentc623684b171eb74d2501a2de8376b16a3e098417
Restore manual change about absence of shell functions from 20070503,
lost in previous regeneration from configure.in.
configure